Inference at * 1 1 1 1 
Iof proof for Lemma sq stable iff stable:



1. P : 
2. (P)  P
3. P
  P 

latex

 by AddXM 1 

latex

 1: 

 1: 1. XM{i'}
 1: 2. P : 
 1: 3. (P)  P
 1: 4. P
 1:   P
 .

Definitions

True, t  T, T